Câu ví dụ A proof using non-planarity of the complete bipartite graph K3,3 was given by Thomassen (1992).Chứng minh sử dụng đồ thị phân đôi đầy đủ K3,3 được đưa ra bởi Thomassen (1992).